count(i<j<||L|| : P L i j) == sum(if i<j  P(L,i,j) 1 else 0 fi | i < ||L||; j < ||L||) 

latex

Definitions	sum(f(x;y) | x < n; y < m), ||as||, if b t else f fi, p  q, i<j
FDL editor aliases	count_index_pairs